161. Mathematical Foundations of Computer Science 1977 :
پدیدآورنده : by J. Gruska.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.
رده :
QA267
.
B954
1977
162. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
163. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
164. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
165. Mathematical foundations of computer science 2013 :
پدیدآورنده : Krishnendu Chatterjee, Jirí Sgall, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
166. Mathematical foundations of computer science 2003 :
پدیدآورنده : Krzysztof Diks and Wojciech Rytter (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
167. Mathematics and computation :
پدیدآورنده : Avi Wigderson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra, Boolean.,Computational complexity.,Cryptography.,Algebra, Boolean.,Computational complexity.,Cryptography.,MATHEMATICS / General.
رده :
QA267
.
7
168. Mathematics of optimization :
پدیدآورنده : Steven J. Miller.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Management science, Problems, exercises, etc.,Mathematical optimization, Problems, exercises, etc.,Operations research, Problems, exercises, etc.,Computer science-- Theory of computing-- Analysis of algorithms and problem complexity.,Functional analysis-- Miscellaneous applications of functional analysis-- Applications in optimization, convex analysis, mathematical programming, economics.,Global analysis, analysis on manifolds-- Calculus on manifolds; nonlinear operators-- Fixed point theorems on manifolds.,Management science.,Mathematical optimization.,Mathematics education-- Mathematical modeling, applications of mathematics-- Operations research, economics.,Number theory-- Computational number theory-- Algorithms; complexity.,Numerical analysis-- Mathematical programming, optimization and variational techniques-- Optimization and variational techniques.,Operations research, mathematical programming-- Mathematical programming-- Linear programming.,Operations research.
رده :
QA402
.
5
.
M5534
2017
169. Maximum Entropy and Bayesian Methods
پدیدآورنده : edited by Gary J. Erickson, Joshua T. Rychert, C. Ray Smith.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Coding theory.,Computational complexity.,Distribution (Probability theory).,Mathematics.,Statistics.
170. Minimax and Applications
پدیدآورنده : edited by Ding-Zhu Du, Panos M. Pardalos.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Computational complexity.,Computer science-- Mathematics.,Mathematics.
171. Models for Parallel and Distributed Computation
پدیدآورنده : edited by Ricardo Corrêa, Inês Dutra, Mario Fiallos, Fernando Gomes.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Combinatorics.,Computational complexity.,Computer science.,Information theory.
172. Modern Cryptography, Probabilistic Proofs and Pseudorandomness
پدیدآورنده : by Oded Goldreich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorics.,Computer science.,Data encryption (Computer science).,Distribution (Probability theory).,Information theory.,Mathematics.
173. Monte Carlo and Quasi-Monte Carlo Methods 2002 :
پدیدآورنده : edited by Harald Niederreiter.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Finance.,Mathematics.
رده :
Q183
.
9
E358
2004
174. Neural Nets WIRN VIETRI-98 :
پدیدآورنده : edited by Maria Marinaro, Roberto Tagliaferri.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Optical pattern recognition.
175. New Trends in Mathematical Programming
پدیدآورنده : edited by Franco Giannessi, Sándor Komlósi, Tamás Rapcsák.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Computational complexity.,Computer science-- Mathematics.,Mathematical optimization.,Mathematics.
176. On Efficient Data Transfers Across Geographically Dispersed Datacenters
پدیدآورنده : Noormohammadpour, Mohammad
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Communication,Computer engineering,Computer science
177. On Efficient Data Transfers Across Geographically Dispersed Datacenters
پدیدآورنده : Noormohammadpour, Mohammad
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Communication,Computer engineering,Computer science
178. Operations Research and Discrete Analysis
پدیدآورنده : by Alekseĭ D. Korshunov.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorics.,Computational complexity.,Information theory.,Mathematical optimization.,Mathematics.
179. Optimal algorithms : International Symposium, Varna, Bulgaria, May 29 - June 2, 1989 : Proceedings
پدیدآورنده : H. Djidjev, ed
کتابخانه: (طهران)
موضوع : Congresses ، Approximation theory,Congresses ، Mathematical optimization,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
401
180. Optimal algorithms : international symposium, Varna, Bulgaria, May 29-June 2 1989 proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Approximation theory-- Congresses,، Mathematical optimization-- Congresses,، Computational complexity-- Congresses
رده :
QA
297
.
O66
1989